properties of relation discrete mathematics